4

Pointwise extensions of GSOS-defined operations

Year:
2011
Language:
english
File:
PDF, 543 KB
english, 2011
5

Subsequential transducers: a coalgebraic perspective

Year:
2010
Language:
english
File:
PDF, 575 KB
english, 2010
8

A Coalgebraic Perspective on Monotone Modal Logic

Year:
2004
Language:
english
File:
PDF, 392 KB
english, 2004
12

Coalgebraising Subsequential Transducers

Year:
2008
Language:
english
File:
PDF, 439 KB
english, 2008
13

Synthesis of Mealy Machines Using Derivatives

Year:
2006
Language:
english
File:
PDF, 393 KB
english, 2006